

import org.jcsp.lang.*;

class PhilChannel extends Any2OneCallChannel implements PhilReport {


	private static final long serialVersionUID = -7305838626222199714L;

public void thinking (int id) {
    join ();                                       // ready to make the CALL
    ((PhilReport) server).thinking (id);
    fork ();                                       // call finished
  }

  public void hungry (int id) {
    join ();                                       // ready to make the CALL
    ((PhilReport) server).hungry (id);
    fork ();                                       // call finished
  }

  public void sitting (int id) {
    join ();                                       // ready to make the CALL
    ((PhilReport) server).sitting (id);
    fork ();                                       // call finished
  }

  public void eating (int id) {
    join ();                                       // ready to make the CALL
    ((PhilReport) server).eating (id);
    fork ();                                       // call finished
  }

  public void leaving (int id) {
    join ();                                       // ready to make the CALL
    ((PhilReport) server).leaving (id);
    fork ();                                       // call finished
  }

}
